Logic error - PDFSEARCH.IO - Document Search Engine

Logic error
Results: 79

#	Item
21	Scalable Error Detection using Boolean Satisfiability Yichen Xie∗ Alex Aiken∗ Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-12-14 15:17:59 Functions and mappings Function Pointer Objective-C C Entailment Stack Logic Software engineering Computing
22	Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM) Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2007-11-07 05:34:04 Logic programming Software engineering Assertion Debugging Abstraction SLD resolution Abstract interpretation Tree Logic in computer science Computer programming Theoretical computer science
23	Probabilistic Arithmetic and Energy Efficient Embedded Signal Processing J. George, B. Marr, B. E. S. Akgul, and K. V. Palem CREST, School of Electrical and Computer Engineering Georgia Institute of Technology Atlanta, G Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 22:03:59 Digital signal processing Statistics Binary logic Adders Root mean square Fast Fourier transform Bit error rate MOSFET Addition Arithmetic Mathematics Computer arithmetic
24	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-03 23:33:32 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
25	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
26	DRAFT EDUCATION DEVELOPMENT PLAN[removed]Contents Acknowledgements.................................................................................... Error! Bookmark not defined. Foreword by The Hon. Minister for Educ Add to Reading List Source URL: www.gov.ms Language: English - Date: 2011-04-14 12:12:06 Environmental social science Sustainability General Secretariat for Development Planning Logic model Business Strategic planning Strategic management
27	Efficient checkpoint/verification patterns for silent error detection Anne Benoit1 , Saurabh K. Raina2 and Yves Robert1,3 ´ 1. LIP, Ecole Normale Sup´erieure de Lyon, CNRS & INRIA, France 2. Jaypee Institute of Informa Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2014-05-30 15:36:13 Statistics Logic Probability and statistics Application checkpointing Forcing Normal distribution
28	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
29	Error Handling Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-21 08:22:58 Type theory Semantics Predicate logic Proof theory Quantification Type system Model theory Mathematical logic Exception handling Logic Metalogic Science
30	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science, University of Bologna [removed], [removed] Abstract. The disambiguation appro Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-20 06:44:53 Interpretation Philosophy of language Philosophy of mind Semantics Symbol Structure Linguistics Golden ratio base Linear temporal logic Model theory Mathematics Logic

UPDATE